combine-halt-info(ea; eb; f; g; x)
== if isl(x)
== then x
== else priority-select((m.band(deq-member(nat-deq; m; cons(0; ea)); (f(m))));
== else priority-select((m.band(deq-member(nat-deq; m; cons(0; eb)); (g(m))));
== else priority-select(cons(0; merge(ea; eb)))
== fi  

latex

Definitions	if b then t else f fi , isl(x), priority-select(f; g; as), band(p; q), deq-member(eq; x; L), nat-deq, merge(as; bs)
FDL editor aliases	combine-halt-info